%\documentclass{llncs}
\documentclass{llncs}
 
\usepackage{amsmath,amssymb}
\usepackage{subfigure}
\usepackage{latexsym}
\usepackage{graphicx} 
\usepackage[english]{babel} 
%\usepackage{semantic}
\usepackage{mycommands}
\usepackage{xspace} 
\usepackage{color} 
\usepackage{longtable} 

\usepackage{times} 
%HEIGHT
%\addtolength{\voffset}{-0.7cm}
%\addtolength{\textheight}{1.4cm}
%% WIDTH
%\addtolength{\hoffset}{-0.7cm}
%\addtolength{\textwidth}{1.4cm}

\newcommand{\todo}[1]{}

\pagestyle{plain}
%{\marginpar{\baselineskip0ex\rule{2,5cm}{0.5pt}\\[0ex]{\tiny\textsf{#1}}}}

\title{An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems% \\ (\emph{Short Paper})
}
%\author{
%}
\author{Jes\'{u}s Aranda\inst{1} \and Gerard Assayag\inst{4} \and  Carlos Olarte\inst{1,3} \and Jorge A. P\'erez\inst{2} \and Camilo Rueda\inst{3,4} \and Mauricio Toro\inst{3} \and Frank D. Valencia \inst{1}}


\institute{INRIA and CNRS-LIX, \'Ecole Polytechnique.
\and
Dept. of Computer Science, University of Bologna.
\and
Pontificia Universidad Javeriana Cali.
\and
Institut de Recherche et Coordination Acoustique/Musique, IRCAM. 
}

\authorrunning{Jes\'{u}s Aranda et al.}

\titlerunning{ }
\begin{document}
\maketitle

\begin{abstract} %INRIA's \emph{Equipes Associ\'ees} (EA) programme promotes and develops  international collaboration with high-level international research teams.  
The FORCES project aims at providing  robust and \emph{declarative formalisms} for analyzing %the emergent 
systems in the emerging areas of 
%that these teams  have been modeling during recent years: I.e., in 
\emph{Security Protocols,  Biological Systems} and \emph{Multimedia Semantic Interaction}. 
This short paper describes FORCES's motivations, results and future research directions.  
\end{abstract}



%\section{Introduction}
%\subsubsection*{Introduction}
\noindent{\bf{Introduction~}} \input{introduction.tex}

%\section{Declarative Modelling Security Protocols}
%\section{Declarative Models of Security Protocols}
%\subsubsection*{Declarative Models of Security Protocols}

\noindent{\bf{Declarative Models of Security Protocols~}}
\input{security.tex}

%\section{Declarative  Biological Systems}
%\section{Declarative  Models of Biological Systems}
%\subsubsection*{Declarative  Models of Biological Systems}

\noindent{\bf{Declarative Models of Biological Systems~}}
\input{biology.tex} 
%\section{Declarative Multimedia Semantic Interaction}

%\section{Declarative Models of Multimedia Semantic Interaction}
%\subsubsection*{Declarative Models of Multimedia Semantic Interaction}


\noindent{\bf{Declarative Models of Multimedia Semantic Interaction~}}
\input{multimedia.tex} 


%\section{Future Directions: Automatic Verification}
%\subsubsection*{Future Directions: Automatic Verification}
\noindent{\bf{Future Directions: Automatic Verification~}}
\input{concluding.tex}

% \bibliographystyle{abbrv}
\bibliographystyle{splncs}
\bibliography{biblio}
\end{document}

